turing machine a^nb^n